/*
  General constants used by kernel
*/


#ifndef _HARDWARE_H
#define _HARDWARE_H

#define KERNEL_STACK            4096    /* Bytes for Kernel stack */

/* Miscellaneous ports */
#define PCR                     0x65    /* Planar Control Register */                            
#define PPI_8255_A              0x00    /* 8255 port A (yet to be defined!) */
#define PPI_8255_B              0x61    /* 8255 port B (kbd, beeper, ...) */
#define PPI_8255_C              0x00    /* 8255 port C (yet to be defined!) */

#define TIMER_8254_0            0x40    /* 8254 timer channel 0 */
#define TIMER_8254_1            0x41    /* 8254 timer channel 1 */
#define TIMER_8254_2            0x42    /* 8254 timer channel 2 */
#define TIMER_8254_MODE         0x43    /* 8254 timer mode control */


#endif /* _HARDWARE_H */
